Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
511	Local theory extensions, hierarchical reasoning and applications to verification – Preliminary Report – Viorica Sofronie-Stokkermans, Carsten Ihlemann, Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E 1.4, Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2007-11-29 05:23:51 Model theory Functions and mappings Metalogic Function Boolean satisfiability problem Structure Sheaf Field Linear temporal logic Mathematics Abstract algebra Mathematical logic
512	Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:13:08 Propositional calculus Rules of inference Boolean algebra Philosophical logic Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematics Mathematical logic
513	Theory and Applications of Categories, Vol. 29, No. 17, 2014, pp. 457–474. EXTENDING OBSTRUCTIONS TO NONCOMMUTATIVE FUNCTORIAL SPECTRA BENNO VAN DEN BERG AND CHRIS HEUNEN Abstract. Any functor from the category of C- Add to Reading List Source URL: www.emis.de Language: English* - Date: 2014-08-14 09:50:00 Algebraic structures Category theory Order theory Boolean algebra Topology Gelfand representation Equivalence of categories Complete Heyting algebra C*-algebra Abstract algebra Mathematics Algebra
514	Mandy Simons Dept of Philosophy Carnegie Mellon University Pittsburgh, PA 15232, USA Tel: ([removed]Fax: ([removed] Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2005-12-08 14:24:45 Boolean algebra Logical connectives Binary operations Rules of inference Disjunctive syllogism Logical disjunction Proposition Yes and no Negation Logic Propositional calculus Mathematics
515	Panel Moderators: Gries and Fred Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:49:16 Philosophical logic Non-classical logic Propositional calculus Boolean algebra Mathematical proof Natural deduction Modal logic Theorem Discrete mathematics Logic Mathematics Mathematical logic
516	Adding the Everywhere Operator to Propositional Logic DAVID GRIES and FRED B. SCHNEIDER, Computer Science, Cornell University, Ithaca, NY 14853, USA. E-mail: [removed] Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:22:06 Model theory Boolean algebra Logical syntax First-order logic Substitution Propositional formula Interpretation Modal logic Axiom Logic Mathematical logic Propositional calculus
517	PHI[removed]Logic WINTER 2014 MWF 2 – 2:50 pm Instructor: Office Hours: Add to Reading List Source URL: www.brobinson.info Language: English - Date: 2014-01-07 16:10:11 Boolean algebra Propositional calculus Arguments Non-classical logic Aplia Economics education Homework Function Syllogism Logic Mathematical logic Mathematics
518	Adding the Everywhere Operator to Propositional Logic David Gries and Fred B. Schneider y Computer Science Department, Cornell University Ithaca, New York[removed]USA May 29, 1996 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:15:36 Propositional calculus Model theory Boolean algebra Logical syntax First-order logic Propositional formula Axiom Interpretation Substitution Logic Mathematical logic Mathematics
519	An Introduction to Binary Decision Diagrams Henrik Reif Andersen x Add to Reading List Source URL: fooo.fr Language: English - Date: 2013-02-15 14:26:20 Logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Propositional variable Truth table Canonical form Boolean algebra Mathematics Mathematical logic
520	Laws of Form: Why Spencer-Brown is missing the point Add to Reading List Source URL: sammelpunkt.philo.at Language: English Laws of Form Logic Mathematical logic Abstraction Identity Distinction G. Spencer-Brown Structure Mathematics Algebra Boolean algebra

UPDATE